My Zip Isn't Your Zip: Identifying and Exploiting Semantic Gaps Between Parsers
usenix.org·15h·
Discuss: Hacker News
💣ZIP Vulnerabilities
Complete Dynamic Logic of Communicating Hybrid Programs
arxiv.org·2d
🔤Type Theory
From Unstructured Data to RAG-Ready With Docling
thenewstack.io·11h
🤖Archive Automation
The Baby Paradox in Haskell
blog.jle.im·7h·
Discuss: Hacker News
🔲Proof Irrelevance
Sapir-Whorf does not apply to Programming Languages
buttondown.com·11h
💻Programming languages
Live and Let Die: Rethinking Personal Digital Archiving, Memory, and Forgetting Through a Library Lens
lil.law.harvard.edu·1d
🧲Magnetic Philosophy
Contrasting Data and Objects (2018)
tedinski.com·19h·
Discuss: Hacker News
💻Programming languages
Optimizing multiprecision LLL in FLINT
fredrikj.net·1d
🧮Algebraic Datatypes
Comprehensive MCP Security Checklist: Protecting Your AI-Powered Infrastructure
lab.wallarm.com·13h
🛡️CLI Security
Show HN: Making Postgres Self-Describing for LLMs with a Semantic Catalog
tigerdata.com·4h·
Discuss: Hacker News
🗄️Database Internals
CRYSTALS - The Gently Introduction
dev.to·6h·
Discuss: DEV
⚗️Algebraic Coding
Dangerous things should be difficult to do by accident
fexpr.blogspot.com·13h
✨Effect Handlers
Saleae Analyzer for the BDM protocol
zetier.com·1d
🔬Binary Analysis
CodeSOD: Copy of a Copy of a
thedailywtf.com·1d
🌲B-tree Forensics
Tyson Foods elevates customer search experience with an AI-powered conversational assistant
aws.amazon.com·1d
📡RSS Automation
From Transcripts to Descriptions: Using Consumer AI Tools for Audio Collection Metadata
saaers.wordpress.com·1d
🔄Archival Workflows
Developing a Custom Query Language with ANTLR and Elasticsearch
blog.scottlogic.com·2d
📋Document Grammar
A Conceptual Model for Storage Unification
jack-vanlightly.com·11h·
Discuss: Lobsters, Hacker News
🌐Edge Preservation
From Facts & Metrics to Media Machine Learning: Evolving the Data Engineering Function at Netflix
netflixtechblog.com·7h·
Discuss: Hacker News
📊Feed Optimization
SPL Lightweight Multisource Mixed Computation Practices
github.com·1d·
Discuss: Hacker News, r/programming
💧Liquid Types